poss{-}consistent($i$;$T$;$s$;${\it ev}$;$R$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(pe{-}loc(${\it ev}$) = $i$ $\in$ Id \& (es{-}dstate(pe{-}es(${\it ev}$);$i$) $\subseteq$r $T$)) c$\wedge$ ($R$($s$,pe{-}state(${\it ev}$)))